Section: Dissemination

Teaching - Supervision - Juries

Teaching

CONVECS is a host team for the computer science master entitled “Mathématiques, Informatique, spécialité : Systèmes et Logiciels”, common to Grenoble INP and University Joseph Fourier.

In 2014, we carried out the following teaching activities:

• G. Salaün is co-responsible of the ISI (Ingéniérie des Systèmes d'Information) department of ENSIMAG since September 1, 2011.

• F. Lang and W. Serwe gave a course on “Spécification et vérification de systèmes concurrents et temps-réel” to the third year computer science engineering students of ENSIMAG (18 hours).

• G. Salaün gave a course on “Programmation orientée-objet” to the second year computer science engineering students of ENSIMAG (18 hours).

• G. Salaün gave a course on “Théorie des langages” to the first year computer science engineering students of ENSIMAG (18 hours).

• R. Oliveira served as a teaching assistant in a course on “Bases de Données”, given by Aurélien Faravelon to the first year computer science engineering students of IUT2 (25 hours).

• R. Oliveira served as a teaching assistant in a course on “Algorithmique et programmation”, given by Vanda Luengo to the first year computer science engineering students of IUT (40 hours).

Juries

• G. Salaün was external reviewer for José Antonio Mateo Cortés's PhD thesis, entitled “Verification and Validation of Web Service Compositions using Formal Methods”, defended at Universidad de Castilla La Mancha, Spain, on July 1st, 2014.

• G. Salaün was external reviewer for Diana Allam's PhD thesis, entitled “Enforcing Loose Coupling and Substitution Principles in an Object-Oriented Framework for Web Services”, defended at Ecole des Mines, Nantes, France, on July 10, 2014.

• R. Mateescu was external reviewer for Ala Eddine Ben Salem's PhD thesis, entitled “Improving the Model Checking of Stutter-Invariant LTL Properties”, defended at Université Pierre et Marie Curie, Paris, France, on September 25, 2014.

• G. Salaün was external reviewer for Lakhdar Akroun's PhD thesis, entitled “Décidabilité et complexité de la relation de simulation des services Web orientés données”, defended at Université Blaise Pascal, Clermont-Ferrand, France, on December 8, 2014.

• G. Salaün was external reviewer for Dimitris Vekris's PhD thesis, entitled “Vérification de spécifications EB3 à l'aide de techniques de model checking”, defended at Université Paris-Est Créteil, France, on December 10, 2014.